1. 19, 2010, Proceedings (Lecture ... Computer Science and General Issues)-Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17
پدیدآورنده: Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: EDUCATIONAL RESEARCH&EDUCATION
2. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده: / Gilles Barthe, Manuel Hermenegildo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
3. Verification, model checking, and abstract interpretatio
پدیدآورنده: / Gilles Barthe, Manuel Hermenegildo (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programs--Verification--Congresses
رده :
QA
,
76
.
76
,.
V47
